Inserisci una parola o una frase in qualsiasi lingua 👆
Lingua:
Traduzione e analisi delle parole tramite l'intelligenza artificiale ChatGPT
In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:
- come viene usata la parola
- frequenza di utilizzo
- è usato più spesso nel discorso orale o scritto
- opzioni di traduzione delle parole
- esempi di utilizzo (varie frasi con traduzione)
- etimologia
Cosa (chi) è Sequent - definizione
CONDITIONAL ASSERTION THAT IF ALL OF THE ANTECEDENT CONDITIONS ARE TRUE, THEN AT LEAST ONE OF THE CONSEQUENT FORMULAS IS TRUE
Sequent (in logic); Sequents
Sequent
<company> A computer manufacturer.
Quarterly sales $109M, profits $7M (Aug 1994).
Sequent computers was acquired by IBM in 1999.
[History? ]
(2003-10-21)
Sequent
·noun A Follower.
II. Sequent ·adj Following as an effect; consequent.
III. Sequent ·adj Following; succeeding; in continuance.
IV. Sequent ·noun That which follows as a result; a sequence.
sequent
¦ adjective archaic following in a sequence or as a logical conclusion.
Derivatives
sequently adverb
Wikipedia
Sequent
In mathematical logic, a sequent is a very general kind of conditional assertion.
A sequent may have any number m of condition formulas Ai (called "antecedents") and any number n of asserted formulas Bj (called "succedents" or "consequents"). A sequent is understood to mean that if all of the antecedent conditions are true, then at least one of the consequent formulas is true. This style of conditional assertion is almost always associated with the conceptual framework of sequent calculus.
Esempi dal corpus di testo per Sequent
1. The UN Secretary General should not consider what happened to the Sudanese refugees in Egypt as a mere security incident, because what happened to the Sudanese in Cairo on the New Year eve will have great impact on the future relationship between the UN system and the current and sub–sequent governments of Southern Sudan.